Kurt Godel and the Foundations of Mathematics: Horizons Of Truth
by Matthias Baaz
ISBN 13: 9781107677999
Format: Illustrated (540 pages) Publisher: Cambridge University Press Published: 27 Mar 2014
Save for later
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... 2803 (Lecture Notes in Computer Science)
by Johann M. Makowsky,Matthias Baaz
ISBN 13: 9783540408017
Format: Paperback (608 pages) Publisher: Springer Published: 13 Jun 2008
Methods of Cut-Elimination: 34 (Trends in Logic)
by Matthias Baaz,Alexander Leitsch
ISBN 13: 9789400734975
Format: Paperback (296 pages) Publisher: Springer Published: 25 Feb 2013